EquivRel $x$,$y$:$\mathbb{Z}$. $x$ $\sim$ $y$